Helmut Schwichtenberg (eds.): tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (12)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Năm:

1993

Ngôn ngữ:

english

File:

DJVU, 4.03 MB

0 / 0

english, 1993

2

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

Năm:

1999

Ngôn ngữ:

english

File:

PDF, 13.23 MB

0 / 0

english, 1999

3

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

Năm:

1999

Ngôn ngữ:

english

File:

DJVU, 4.02 MB

0 / 0

english, 1999

4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 2.52 MB

0 / 0

english, 2001

5

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Năm:

1993

Ngôn ngữ:

english

File:

PDF, 15.90 MB

0 / 0

english, 1993

6

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Năm:

1997

Ngôn ngữ:

english

File:

PDF, 12.55 MB

0 / 0

english, 1997

7

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 1.73 MB

0 / 0

english, 2001

8

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)

Năm:

1995

Ngôn ngữ:

english

File:

PDF, 33.16 MB

0 / 0

english, 1995

9

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 12.35 MB

0 / 0

english, 2002

10

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 3.26 MB

0 / 0

english, 2000

11

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Năm:

1997

Ngôn ngữ:

english

File:

DJVU, 3.21 MB

0 / 0

english, 1997

12

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 5.77 MB

0 / 0

english, 2000